Theorem Provers in Circuit Design: Theory, Practice and Experience - Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
- Författare
- (Edited by Ramayya Kumar, Thomas Kropf.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 1995 | Tyskland, Berlin, Heidelberg | 1 online resource (VIII, 312 sidor.) |